listen(ergou, bach). % 二狗 听 巴赫
listen(ergou, beethoven). % 二狗 听 贝多芬
listen(ergou, mozart). % 二狗 听 莫扎特
listen(xiaohong, mj).  % 小红 听 迈克尔·杰克逊
listen(xiaohong, dylan). % 小红 听 鲍勃·迪伦
listen(xiaohong, bach). % 小红 听 巴赫
listen(xiaohong, beethoven). % 小红 听 贝多芬

#
#?- listen(ergou, X),listen(xiaohong,X).
#X = bach ;
#X = beethoven ;
#false.
